The road to two theorems of logic
نویسنده
چکیده
Work on how to axiomatize the subtheories of first-order theory in which only a proper subset of their extra-logical vocabulary is being used led to a theorem on recursive axiomatizability and to an interpolation theorem for first-order logic. There were some fortuitous events and several logicians played a helpful role.
منابع مشابه
Preservation theorems in {L}ukasiewicz \model theory
We present some model theoretic results for {L}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by Chang and Keisler.We prove compactness theorem with respect to the class of allstructures taking values in the {L}ukasiewicz $texttt{BL}$-algebra.We also prove some appropriate preservation theorems concerning universal and inductive theories.Finally, Skolemizatio...
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملDistributed Contingency Logic and Security
In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...
متن کاملA PSO-based Optimization of a fuzzy-based MPPT controller for a photovoltaic pumping system used for irrigation of greenhouses
The main asset of this paper is among the uses of fuzzy logic in the engineering sector and especially in the renewable energies as a large alternate of fossil energies, in this paper a PSO-based optimization is used to find the optimal scaling parameters, of a fuzzy logic-based MPPT controller, that maximize the efficiency of a photovoltaic pumping system. The tuning of input and output parame...
متن کاملOptimal coincidence best approximation solution in non-Archimedean Fuzzy Metric Spaces
In this paper, we introduce the concept of best proximal contraction theorems in non-Archimedean fuzzy metric space for two mappings and prove some proximal theorems. As a consequence, it provides the existence of an optimal approximate solution to some equations which contains no solution. The obtained results extend further the recently development proximal contractions in non-Archimedean fuz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Synthese
دوره 164 شماره
صفحات -
تاریخ انتشار 2008